UNIF 26 26 th International Workshop on Unification Proceedings July 1 , 2012 Manchester , United Kingdom

نویسندگان

  • Santiago Escobar
  • Konstantin Korovin
  • Vladimir Rybakov
  • Maribel Fernández
  • Siva Anantharaman
  • Andrew Marshall
  • Barbara Morawska
  • Stefan Borgwardt
چکیده

Unification modulo equational theories was originally introduced in automated deduction and term rewriting, but has recently also found applications in modal logics and description logics. In this talk, we review problems and results for unification in description logics, and relate them to equational unification and unification in modal logics. Related problems, like disunification, rigid E-unification, and admissibility of inference rules will also be considered.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

High metabolic potential may contribute to the success of 1 ST 131 uropathogenic Escherichia coli 2 3 4

4 Tarek M. Gibreel, Andrew R. Dodgson, John Cheesbrough, Frederick J. Bolton, 5 Andrew J. Fox and Mathew Upton 6 7 8 Microbiology and Virology Unit, School of Medicine, University of Manchester, Stopford 9 Building, Oxford Road, Manchester, M13 9PL, United Kingdom. Central Manchester 10 Foundation Trust, Oxford Road Manchester, Manchester, M13 9WL. Preston Microbiology 11 Services, Royal Presto...

متن کامل

ARW 2012 Proceedings of the 19 th Automated Reasoning Workshop 2 – 4 April 2012 School of Computer Science The University of Manchester United Kingdom

Perhaps the most extraordinary surviving relic from the ancient Greek world is a device containing over thirty gear wheels dating from the late 2nd century B.C., and now known as the Antikythera Mechanism. This device is an order of magnitude more complicated than any surviving mechanism from the following millennium, and there is no known precursor. It is clear from its structure and inscripti...

متن کامل

Quantitative changes in focal adhesion kinase and its 1 inhibitor , FRNK , drive load - dependent expression of 2 costamere components 3 4

costamere components 3 4 Stephan Klossner, Ruowei Li, Severin Ruoss, Anne-Cécile Durieux, Martin 5 Flück 6 7 8 Affiliation: Department of Anatomy, University of Berne, Berne, Switzerland 9 Institute for Biomedical Research into Human Movement and Health, Manchester 10 Metropolitan University, Manchester, United Kingdom 11 Department of Cardiovascular Surgery, University Hospital of Berne, Switz...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012